Digital random generator based on an arithmetic compressor

ABSTRACT

The proposed device enables the construction of a perfect random generator by combining any physical source, concerning which no assumptions of quality are made, with an extractor. The extractor is constituted by an arithmetic encoder and an output linear function enabling the residual output bias to be smoothened.

BACKGROUND OF THE INVENTION

[0001] 1. Field of the Invention

[0002] The invention relates to a random digital generator that relies specially on an arithmetic compressor.

[0003] It can be applied for example in industrial devices using pure random numbers. It can be used in games of luck on the Internet, in the RAPIDO system of drawing lots for the French lottery system or again in astronomy computations.

[0004] It can also be used in cryptography, since the security of encryption algorithms and of many cryptographic protocols relies on the existence of totally random parameters (such as encryption keys, etc.).

[0005] The invention can also be used in secured online procedures (purchasing, teleprocedures, the authentication of documents, etc.) based on the use of an electronic signature that increases requirements in terms of pure “real-time” random numbers. An e-commerce server must indeed be capable of producing several hundreds of electronic signatures per second.

[0006] 2. Description of the Prior Art

[0007] The generation of digital random values by means of an electronic device consists of the more or less direct sampling of an unstable and non-reproducible parameter. This parameter may be the amplitude of an analog signal, the duration between two events, etc.

[0008] The random aspect of the information obtained is then related to the characteristics of the original signal and/or the imprecision of the measurement. In present-day practice, industry uses various methods for the generation of random numbers, such as the analog amplification of a noise-ridden signal and the sampling of a clock A with an asynchronous clock B.

[0009] The random values generated by these various physical sources generally have characteristic statistical defects, such as defects of equidistribution, the existence of pseudo-periods, etc. The consequence of these defects is that the real entropy of the random value produced is lower than its maximum theoretical entropy (SHANNON's entropy measures the mean information provided by a random variable).

[0010] There are several solutions of varying complexity and varying cost that can be used to eliminate these characteristic biases. These solutions include, for example:

[0011] The addition of a cryptographic smoothing device downstream to produce a perfect-sequence of random values from a sequence with a higher bit rate having entopic defects. The smoothing device used is, in practice, a pseudo-random generator (PRG) that can be implemented in either hardware or software form depending on the security and bit rate constraints desired. FIG. 1 is a drawing of such a device,

[0012] The use of several physical sources in parallel to smoothen the defects.

[0013] Furthermore, the complexity of the different architectures (the implementation of the random generator in two FPGAs) furnishes methods of random generation that are not suited, in terms of throughput, to “real-time” needs for perfect random values.

[0014] The patent application EP 1 223 506 describes a random number generator that implements a dictionary-based method of compression. This method is well suited to the compression of high-redundancy sources but not to the compression of binary sequences derived from the sampling of a physical source.

[0015] The idea on which the method and device according to the invention are based uses especially the concept of the random extractor. A random extractor is a deterministic device designed to be inserted after a physical random source in order to eliminate its defects.

SUMMARY OF THE INVENTION

[0016] The invention relates to a random number generator adapted to the reception at input of a number of bits coming from a physical source. The random number generator is characterized by the fact that it comprises, in combination with at least one symbol-generating physical source, an arithmetic encoder and means adapted to smoothing the residual biases at output of the decoder. The association of the arithmetic encoder and of the linear function is called a random extractor and constitutes the deterministic device of the random generator.

[0017] The invention also relates to a method for the generation of random numbers comprising at least the following steps in combination:

[0018] The reception of several symbols from a physical source,

[0019] The transmission of the symbols to an arithmetic encoder step,

[0020] The smoothing the encoded symbols using a linear function. The invention has especially the following advantages:

[0021] Easy implementation in both hardware and software form,

[0022] A possibility of offering perfectly random throughputs in accordance with the requirements of e-commerce servers,

[0023] an adaptability of the extractor to the characteristics of the physical source which are likely to evolve over time,

[0024] the possibility of implementing a rudimentary physical source which, as the case may be, is capable of generating binary sequences having low-level characteristics of randomness (i.e. a strong bias toward equidistribution, dependency between the bits generated, Markovian character ).

BRIEF DESCRIPTION OF THE DRAWINGS

[0025] Other features and advantages of the invention shall appear more clearly from the following description, given by way of an illustration that in no way restricts the scope of the invention, and from the appended drawings of which:

[0026]FIG. 1 is a block diagram of a random generator implemented according to the prior art,

[0027]FIG. 2 is a functional block diagram of an exemplary architecture of a random generator according to the invention,

[0028]FIG. 3 is a graph of the arithmetic encoder,

[0029]FIG. 4 is a block diagram of the output linear function.

MORE DETAILED DESCRIPTION

[0030]FIG. 2 is a block diagram of an exemplary architecture of a 5 random generator according to the invention. It comprises, for example, a physical source 1 that is any source whatsoever and a random extractor 2 positioned just after it. The random extractor 2 is formed by an arithmetic encoder 3 and an output linear function 4.

[0031] For a simple implementation of the source, it is possible for example to generate an oscillating digital signal, whose frequency is unstable as a function of the temperature, the power supply voltage and the dispersal of the characteristics between electronic chips. It suffices then to sample this signal by means of a clock signal coming from the system (from the clock of the microprocessor of the card for example). Since the two clocks involved are asynchronous and sliding with respect to each other, the resulting signal has low predictability and low reproducibility.

[0032] The arithmetic encoding is a dynamic statistical encoding suited to the characteristics of the physical source. The encoder is, for example, parametrized to process the symbols generated by the physical source independently of each other (using Bernoulli's model) or else they are parametrized so as to dependent on each other (using Markov's model). In the example given, the model chosen is a Markovian model that proves to be particularly efficient for modeling the type of physical source that we shall describe in this invention.

[0033] The law of probability used by the compressor is, for example, permanently adjusted as a function of the symbols that have actually appeared.

[0034] One of the useful features of the invention is that the arithmetic encoder is very simple to implement in hardware form. The RG (random 30 generator) constituted by the physical source, the encoder and the output linear function can be implemented, for example, in an FPGA type programmable component. The steps of the method can be carried out in a computer programmed to execute certain algorithmic tasks.

[0035] As a consequence, the law of probability used by the compressor is permanently adjusted as a function of the symbols that have really appeared.

[0036] The principle of arithmetic encoding lies in encoding a message by a number written for example in binary numeration and in floating-point representation. This number is derived from computations of nested intervals. Each interval corresponds to a symbol of the source and has a size proportional to its frequency of occurrence. The compression is obtained by noting that the number of significant digits needed to decide upon membership in an interval is smaller than in the case of the big intervals.

[0037] Each symbol s is represented, for example, by an interval [m_(s), M_(s)] such that:

[0038] the size of the interval Δ=M_(s)-m_(s) is proportional to the probability of appearance of the symbol s;

[0039] The intervals are separated;

[0040] The combination of the intervals is equal to the interval [0,1]

[0041] The encoding algorithm is then the following

[0042] 1. initialize m→0 and M→1

[0043] 2. for each symbol s of the message to be compressed, update:

[0044] a. Δ←M−m;

[0045] b. m←m+A×m_(s);

[0046] c. M←m+Δ×M_(s)

[0047] 3. the compressed message is the last value of m.

[0048] The following encrypted example furnishes a simple explanation of the arithmetical encoding using floating-point representation.

[0049] The physical source used is S={a,b,c}. The frequencies of occurrence of the three symbols are given in the Table 1 below: Symbol Frequency [m_(s), M_(s)] A ½ (0.0, 0.5) B ¼ (0.5, 0.75) C ¼ (0.75, 1.0)

[0050] Table 2 here below describes the steps of the encoding of the string of characters <<baca>>. The compressed message is the last value of m Symbols to be Size of the encoded interval m M 0 1 B 1 0.5 0.75 A 0.25 0.5 0.625 C 0.125 0.59375 0.625 A 0.03125 0.59375 0.609375

[0051]FIG. 3 gives a schematic view of an exemplary architecture of an arithmetic encoder.

[0052] The encoder comprises, for example, a statistics table or RAM 13, receiving context information 12. The context information is delivered by the physical source in the form of a current character. Sixteen-bit registers (referenced 10 and 11) store the upper and lower values of the above-mentioned interval. An arithmetic logic unit (ALU) 14 is programmed to update the values of the boundaries Inf and Sup of the intervals as a function of the new statistical tables stored in RAM 13.

[0053] A comparator 15 compares the registers Inf and Sup and delivers the most significant bits that these registers have in common.

[0054] The compression of the source corresponds to an interval that is described at each instance by the two registers 10, 11 which respectively contain the lower boundary and the upper boundary. Only the 16 last significant bits of the current interval are stored, namely only those bits after which the digits are distinct.

[0055] The steps of encoding a symbol consist, for example, in:

[0056] updating the table of the statistics 13 on the input symbols as a function of the contexts 12, i.e., the preceding symbols,

[0057] computing the new values of the boundaries of the interval, by a rule of three, using an arithmetic logic unit ALU 14,

[0058] emptying the registers of the most significant bits that they have in common. These bits form the output of the comparator 15.

[0059] In practice it is, for example, integer arithmetic and not real arithmetic that is used. Since the registers have smaller sizes than the message to be compressed, the registers containing the values of m and M are emptied of the most significant bits that they have in common, as and when the new symbols to be encoded arrive.

[0060]FIG. 4 provides a diagrammatic view of exemplary means used to implement the output linear function. This function is aimed especially at smoothing the residual bias that may remain at output of the compression function. It has been designed so that, if the inputs have a residual bias augmented by a quantity ε, then the components of the output byte will have a residual bias augmented by ε⁸ (whence the smoothing property).

[0061] The media function is made in hardware form for example by a 16-bit register, i.e. a register with 16 elementary D type flip-flop circuits. In a software form (using the language C), it is called an “unsigned short” type of word.

[0062] The output linear function comprises for example a serial input 20 and a parallel output 21 on a given number of its, for example eight bits. It produces one random byte for 16 strokes of the clock and 16 random binary symbols extracted from the arithmetic encoder. It comprises for example an internal 16-bit memory.

[0063] When the internal stage is represented by a polynomial which is, at most, a 15th degree polynomial, the transition function of this automaton is:

U _(t+1)←(XU _(t) +e _(t) A)mod P

[0064] where:

[0065] U_(t) represents the internal state of the automaton at the instant t;

[0066] A is a polynomial multiplier constant equal to: 1+X+X²+X³+X⁴

[0067] P is the closed-loop polynomial equal to: 1+X²+X³+X⁵+X¹⁶

[0068] e_(t) is the binary input at the instant t.

[0069] The automaton is, for example, a deterministic mathematical function possessing an internal state that evolves in time according to a transition function.

[0070] The numerical example given here below provides a better illustration of the principle of operation of the invention.

[0071] Choice of the Parameters of the Compressor

[0072] The arithmetic compressor (encoder) necessitates a memory to store the statistical data of the source. The size t in number of words of this memory is given by:

t=2^(r+1) ×m=2^(n(r+1))

[0073] where:

[0074] r is the order of the Markovian model considered; the probabilities of appearance of the symbols depend on the r symbols preceding the source;

[0075] m is the general size of the symbols; if we consider binary n-bit symbols, we have m=2^(n).

[0076] For a given size of memory, several combinations of parameters r and n can be envisaged. For a size of 4 Kwords, the two extreme choices are:

[0077] a zero-order model with 12-bit symbols;

[0078] an 11th-order model with binary symbols.

[0079] An experiment has been conducted with different values of the parameters r and n on a source constituted by Bernoulli random variables with parameter p=0.6. For this type of source, the maximum compression rate, obtained when the entropy of the symbols at output of the compressor is the maximum, is equal to 2.9.

[0080] The compression rates observed are given in table 1. To minimize the entropy of the symbols at output of the compressor, it must be sought to obtain the highest compression rate. These results show that it is advantageous to work on binary symbols.

[0081] The fall in the compression rate observed when the order is raised results from the fact that more time is needed to obtain discriminatory results in the statistics table. Furthermore, since the source is a zero-order source in this experiment, a zero-order compression is enough to obtain the best results.

[0082] In conclusion, the choice is that of a maximum-order model operating on binary symbols.

[0083] Performance of the Extractor

[0084] To assess the performance of the extractor, the compression function was put through the following test. The compression function works on binary symbols (n=1) and an r=8 order model. Two models of sources were simulated:

[0085] A Bernoulli source with parameter p;

[0086] A Markov source equidistributed on {0,1}⁸ whose transition is controlled by a parameter p; This source has the form:

X _(n) =f(X _(n−1), . . . , X_(n−7))⊕X _(n−8) ⊕Y _(n)

[0087] where f is any equidistributed function and (Y_(n))_(n≧0) is a sequence of independent random variables following the same Bernoulli law and with parameter p; The first eight terms are the components of a random vector (X₀, . . . , X₇) with a uniform law on {0,1}⁸.

[0088] The two sources cited above have been chosen for the following reasons:

[0089] 1. They model a large number of physical random sources:

[0090] The case of a source where the symbols are independent but not equidistributed;

[0091] The case of a source where the symbols are equidistributed but not independent;

[0092] 2. The compression rate theoretically attainable for this type of source is known; it is equal to:

t=100×(1−H(p)) where

[0093] p is the parameter that defines the bias of the source;

[0094] H(p) is the binary entropy function equal to −2 log₂ (p)−(1−p) log₂(1−p).

[0095] A classic statistical test plan for the source before and after compression gives the following results. The size of the source is 220 bytes and the evaluation of the entropy is made on a sliding window up to the 12th order. The results are entered in the tables 3 and 4, combining the compression rate observed as well as the maximum compression grade for the type of source considered.

[0096] The examination of the results shows that the compression rate observed is very close to the theoretical rate. When it is subjected to a Markov source of an order below the order of the model of the compressor, the output of this compressor is deemed to be constituted by equidistributed and independent random symbols. TABLE 3 Compression of a Bernoulli source with parameter p Statistical Test Observed Statistical test Theoretical before compression after compression Parameter p compression rate compression rate 0.55 KO  0.5% 0K 0.7% 0.6 KO  2.65% 0K 2.9% 0.7 KO 11.65% 0K 11.87%  0.8 KO 27.65% 0K 27.8% 

[0097] TABLE 4 Compression of an equidistributed Markov source with parameter to the eighth order Statistical Test Observed Statistical test Theoretical before compression after compression Parameter p compression rate compression rate 0.55 KO  0.697% 0K 0.7% 0.6 KO  2.878% 0K 2.9% 0.7 KO 11.834% 0K 11.87%  0.8 KO 27.778% 0K 27.8%  

What is claimed is:
 1. A random number generator adapted to receive an input of a number of bits coming from a physical source, wherein the generator comprising, in combination: at least one symbol-generating physical source; an arithmetic encoder; and smoothing means adapted to smooth the residual output biases.
 2. The generator according to claim 1, wherein the smoothing means is constituted by a linear output function enabling the smoothing of the residual output biases.
 3. The generator according to claim 1, wherein the arithmetic encoder comprises at least one table of statistics on the input symbols receiving a piece of information on contexts, several registers, one comparator and one logic unit.
 4. The generator according to claim 1, wherein the smoothing means comprises a register, a serial input and a parallel output.
 5. A method for the generation of random numbers comprising the following steps: reception of several symbols from a physical source; transmission of the symbols to an arithmetic encoder step; and smoothing the encoded symbols using a linear function.
 6. The method according to claim 5, further comprising encoding the symbols by a number derived from computations of nested intervals, an interval [ms, Ms] corresponding to a symbol s and having a size proportional to its frequency of occurrence.
 7. The method according to claim 6, further comprising: updating a table of statistics on the input symbols as a function of the contexts; computing the new values of the boundaries of the interval [ms, Ms] by a rule of three; and emptying the registers of the most significant bits that they have in common.
 8. The method according to claim 6, wherein the encoding comprises the following steps:
 1. initializing m→0 and M→1
 2. updating, for each symbol s of the message to be compressed: a. Δ←M−m; b. m←m+Δ×m_(s); c. M←m+Δ×M_(s)
 3. choosing the compressed message as being the last value of m.
 9. The method according to claim 5 wherein the smoothing function makes use of a polynomial which is, at most, a 15th degree polynomial.
 10. The method according to claim 2, wherein the arithmetic encoder comprises at least one table of statistics on the input symbols receiving a piece of information on contexts, several registers, one comparator and one logic unit.
 11. The method according to claim 2, wherein the smoothing means comprises a register, a serial input and a parallel output.
 12. The method according to claim 7, wherein the contexts are previous symbols. 